|
|
1.
|
System Analysis and Modeling [electronic resource] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / edited by Daniel Amyot, Alan W. Williams.
by Amyot, Daniel | Williams, Alan W | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
2.
|
Biomimetic Neural Learning for Intelligent Robots [electronic resource] : Intelligent Systems, Cognitive Robotics, and Neuroscience / edited by Stefan Wermter, Günther Palm, Mark Elshaw.
by Wermter, Stefan | Palm, Günther | Elshaw, Mark | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
3.
|
Scientific and Statistical Database Management [electronic resource] : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings / edited by Bertram Ludäscher, Nikos Mamoulis.
by Ludäscher, Bertram | Mamoulis, Nikos | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
4.
|
Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio.
by Vallecillo, Antonio | Gray, Jeff | Pierantonio, Alfonso | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
5.
|
Massively Multi-Agent Technology [electronic resource] : AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers / edited by Nadeem Jamali, Paul Scerri, Toshiharu Sugawara.
by Jamali, Nadeem | Scerri, Paul | Sugawara, Toshiharu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
6.
|
Advances in Bioinformatics and Computational Biology [electronic resource] : Third Brazilian Symposium on Bioinformatics, BSB 2008, Santo André, Brazil, August 28-30, 2008. Proceedings / edited by Ana L. C. Bazzan, Mark Craven, Natália F. Martins.
by Bazzan, Ana L. C | Craven, Mark | Martins, Natália F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
7.
|
Visual Information Systems. Web-Based Visual Information Search and Management [electronic resource] : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings / edited by Monica Sebillo, Giuliana Vitiello, Gerald Schaefer.
by Sebillo, Monica | Vitiello, Giuliana | Schaefer, Gerald | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
8.
|
Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington.
by Jensen, Kurt | Aalst, Wil M. P | Billington, Jonathan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
9.
|
Practical Aspects of Declarative Languages [electronic resource] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings / edited by Andy Gill, Terrance Swift.
by Gill, Andy | Swift, Terrance | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
10.
|
Service-Oriented Computing - ICSOC 2007 Workshops [electronic resource] : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers / edited by Elisabetta Nitto, Matei Ripeanu.
by Nitto, Elisabetta | Ripeanu, Matei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
11.
|
Coordination, Organizations, Institutions and Norms in Agent Systems IV [electronic resource] : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers / edited by Jomi Fred Hübner, Eric Matson, Olivier Boissier, Virginia Dignum.
by Hübner, Jomi Fred | Matson, Eric | Boissier, Olivier | Dignum, Virginia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
12.
|
Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers / edited by Flaminio Squazzoni.
by Squazzoni, Flaminio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
13.
|
Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers / edited by Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein.
by Cuyt, Annie | Krämer, Walter | Luther, Wolfram | Markstein, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
14.
|
Knowledge Acquisition: Approaches, Algorithms and Applications [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers / edited by Debbie Richards, Byeong-Ho Kang.
by Richards, Debbie | Kang, Byeong-Ho | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
15.
|
Network Performance Engineering [electronic resource] : A Handbook on Convergent Multi-Service Networks and Next Generation Internet / edited by Demetres D. Kouvatsos.
by Kouvatsos, Demetres D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16.
|
Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann.
by Kullmann, Oliver | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
17.
|
Digital Human Modeling [electronic resource] : Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Vincent G. Duffy.
by Duffy, Vincent G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
18.
|
Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience [electronic resource] : 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedings / edited by Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen.
by Schmorrow, Dylan D | Estabrooke, Ivy V | Grootjen, Marc | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
19.
|
Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt.
by Schmidt, Renate A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
20.
|
Advanced Parallel Processing Technologies [electronic resource] : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings / edited by Yong Dou, Ralf Gruber, Josef M. Joller.
by Dou, Yong | Gruber, Ralf | Joller, Josef M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
